A manifesto for the computational method

Morality not Markets: A Manifesto for the NHS; Response to Pollock, Frith, and Cox

Making the Analysis of Complicated Algorithms Fun: A Manifesto for the Computational Method

We promote the much maligned computational method. The computational method is a paradigm for proving mathematical results where the burden of doing the “grunt work” is given to our able research assistant, the computer. We assert that proofs using the computational method, also known as computer aided proofs, are here to stay. In fact, the use of a computer can make the analysis of complicated...

A manifesto for cooperative human / machine interaction in object-oriented conceptual software design

Conceptual software design presents many challenges to practitioners and yet is crucial to the success of software development. However, current computational tool support for conceptual software design is poor. One possible cause for this is that current computational tool support typically fails to exploit the natural cognitive design behaviours observed in software engineers. This manifesto ...

A computational wavelet method for numerical solution of stochastic Volterra-Fredholm integral equations

A Legendre wavelet method is presented for numerical solutions of stochastic Volterra-Fredholm integral equations. The main characteristic of the proposed method is that it reduces stochastic Volterra-Fredholm integral equations into a linear system of equations. Convergence and error analysis of the Legendre wavelets basis are investigated. The efficiency and accuracy of the proposed method wa...

A Computational Meshless Method for Solving Multivariable Integral Equations

In this paper we use radial basis functions to solve multivariable integral equations. We use collocation method for implementation. Numerical experiments show the accuracy of the method.